Language interpretation - PDFSEARCH.IO - Document Search Engine

Language interpretation
Results: 5276

#	Item
571	Regulation of the State Secretary for Justice dated 9 December 2008, no, containing further rules regarding the recognition of EC professional qualifications and temporary and occasional services provided by Add to Reading List Source URL: www.bureauwbtv.nl Language: English - Date: 2010-07-27 04:41:56 Knowledge Education Language interpretation Professor
572	A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:06:12 Abstract interpretation Mathematical logic Algorithm Partial evaluation Programming language Principles of Programming Languages Logic programming Logic Scientific modelling Science Software engineering Computing
573	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
574	Use of interpreters AUSTRALIAN FEDERAL POLICE CENTRELINK DEPARTMENT OF EDUCATION, EMPLOYMENT AND WORKPLACE RELATIONS DEPARTMENT OF IMMIGRATION AND CITIZENSHIP Add to Reading List Source URL: www.ombudsman.gov.au. Language: English - Date: 2009-10-22 05:12:49 Government Government officials Politics of Australia Ombudsman Job Services Australia National Accreditation Authority for Translators and Interpreters Australian Federal Police Language interpretation Centrelink Legal professions Australian Capital Territory Government of Australia
575	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering
576	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
577	Section 11: Equality and diversity issues Domestic violence affects all members of our society. Domestic violence, like all violence against women, is a both a cause and consequence of gender inequality. 70 Add to Reading List Source URL: www.avaproject.org.uk Language: English - Date: 2010-04-09 11:51:31 Feminism Assistive technology Language interpretation Violence Telephone interpreting Behavior Domestic violence Interpreter Gender-based violence Violence against women Ethics
578	Date: 22-23 August 2013 Venue: Lainela Holiday Village, Käsmu, Estonia Language: Estonian and English (simultaneous interpretation) 22 August Moderator: Toomas Roolaid, Strateegialabor LLC Add to Reading List Source URL: www.norden.ee Language: English - Date: 2015-02-26 04:06:12 Northern Europe Republics Tallinn Baltic Sea Geography of Europe Europe Estonia
579	Multicultural Mental Health Australia & Victorian Transcultural Psychiatry Unit Issues in Outcome Measurement with CALD consumers AMHOCN 2010 Forum presentation Add to Reading List Source URL: amhocn.org Language: English - Date: 2012-08-16 01:41:16 Cross-cultural psychiatry Health National Accreditation Authority for Translators and Interpreters Science Transcultural Psychiatry Language interpretation Psychiatry Translation Medicine Anthropology Mental health
580	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Reasoning Programming paradigms Knowledge representation and reasoning Entailment Function First-order logic Interpretation Proposition Logic Philosophical logic Logical syntax

UPDATE